Computer science and the fine structure of Borel sets
نویسندگان
چکیده
منابع مشابه
Computer science and the fine structure of Borel sets
(I) Wadge de ned a natural re nement of the Borel hierarchy, now called the Wadge hierarchy WH. The fundamental properties of WH follow from the results of Kuratowski, Martin, Wadge and Louveau. We give a transparent restatement and proof of Wadge’s main theorem. Our method is new for it yields a wide and unexpected extension: from Borel sets of reals to a class of natural but non Borel sets of...
متن کاملthe underlying structure of language proficiency and the proficiency level
هدف از انجام این تخقیق بررسی رابطه احتمالی بین سطح مهارت زبان خارجی (foreign language proficiency) و ساختار مهارت زبان خارجی بود. تعداد 314 زبان آموز مونث و مذکر که عمدتا دانشجویان رشته های زبان انگلیسی در سطوح کارشناسی و کارشناسی ارشد بودند در این تحقیق شرکت کردند. از لحاظ سطح مهارت زبان خارجی شرکت کنندگان بسیار با هم متفاوت بودند، (75 نفر سطح پیشرفته، 113 نفر سطح متوسط، 126 سطح مقدماتی). کلا ...
15 صفحه اولترجمه و نقد کتاب the justification of science and the rationality of religious belife
چکیده ندارد.
15 صفحه اولThe fine structure and Borel complexity of orbits
§0. Introduction Recent work in the general theory of Polish groups has looked for inspiration from the study of countable models, where a major tool in analyzing isomorphism types is provided by the Scott analysis. One has many results that were first proved in the case of the “logic action” on countable models by an appeal to the Scott analysis, and only later generalized to general Polish gr...
متن کاملThe Fine Structure of the intuitionistic Borel Hierarchy
In intuitionistic analysis, a subset of a Polish space like R or N is called positively Borel if and only if it is an open subset of the space or a closed subset of the space or the result of forming either the countable union or the countable intersection of an infinite sequence of (earlier constructed) positively Borel subsets of the space. The operation of taking the complement is absent fro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2001
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00111-0